eq_bd(p; q)
== band((p.1 = q.1);
== band(if bor((p.1 = 1); bor((p.1 = 2); bor((p.1 = 6); (p.1 = 9))))
== band(ifthen eq_id((p.2); (q.2))
== band(if (p.1 = 3)
== band(ifthen band(eq_lnk(((p.2).1); ((q.2).1)); eq_id((p.2.2); (q.2.2)))
== band(if (p.1 = 4)
== band(ifthen band(eq_knd(((p.2).1); ((q.2).1)); eq_id((p.2.2); (q.2.2)))
== band(if (p.1 = 5)
== band(ifthen band(eq_knd(((p.2).1); ((q.2).1)); eq_lnk((p.2.2); (q.2.2)))
== band(if bor((p.1 = 7); (p.1 = 8)) then eq_knd((p.2); (q.2)) else tt fi ) 

latex

Definitions	eq_id(a; b), band(p; q), eq_lnk(a; b), if b then t else f fi , bor(p; q), (i = j), t.1, #$n, eq_knd(a; b), t.2, tt
FDL editor aliases	eq_bd